int repair_cmd(void);